Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Blood transfusion in the critically ill: does storage age matter?

Morphologic and biochemical changes occur during red cell storage prior to product expiry, and these changes may hinder erythrocyte viability and function following transfusion. Despite a relatively large body of literature detailing the metabolic and structural deterioration that occurs during red cell storage, evidence for a significant detrimental clinical effect related to the transfusion of older blood is relatively less conclusive, limited primarily to observations in retrospective studies. Nonetheless, the implication that the transfusion of old, but not outdated blood may have negative clinical consequences demands attention. In this report, the current understanding of the biochemical and structural changes that occur during storage, known collectively as the storage lesion, is described, and the clinical evidence concerning the detrimental consequences associated with the transfusion of relatively older red cells is critically reviewed. Although the growing body of literature demonstrating the deleterious effects of relatively old blood is compelling, it is notable that all of these reports have been retrospective, and most of these studies have evaluated patients who received a mixture of red cell units of varying storage age. Until prospective studies have been completed and produce confirmative results, it would be premature to recommend any modification of current transfusion practice regarding storage age

Revisiting special relativity: A natural algebraic alternative to Minkowski spacetime

Minkowski famously introduced the concept of a space-time continuum in 1908, merging the three dimensions of space with an imaginary time dimension $i c t$, with the unit imaginary producing the correct spacetime distance $x^2 - c^2 t^2$, and the results of Einstein's then recently developed theory of special relativity, thus providing an explanation for Einstein's theory in terms of the structure of space and time. As an alternative to a planar Minkowski space-time of two space dimensions and one time dimension, we replace the unit imaginary $i = \sqrt{-1}$, with the Clifford bivector $\iota = e_1 e_2$ for the plane that also squares to minus one, but which can be included without the addition of an extra dimension, as it is an integral part of the real Cartesian plane with the orthonormal basis $e_1$ and $e_2$. We find that with this model of planar spacetime, using a two-dimensional Clifford multivector, the spacetime metric and the Lorentz transformations follow immediately as properties of the algebra. This also leads to momentum and energy being represented as components of a multivector and we give a new efficient derivation of Compton's scattering formula, and a simple formulation of Dirac's and Maxwell's equations. Based on the mathematical structure of the multivector, we produce a semi-classical model of massive particles, which can then be viewed as the origin of the Minkowski spacetime structure and thus a deeper explanation for relativistic effects. We also find a new perspective on the nature of time, which is now given a precise mathematical definition as the bivector of the plane.Comment: 29 pages, 2 figure

Safety, immunogenicity, and transplacental antibody transport of conjugated and polysaccharide pneumococcal vaccines administered to pregnant women with HIV: a multicentre randomised controlled trial

Background: Pneumococcus remains an important cause of morbidity in pregnant women with HIV and their infants. We compared the safety and immunogenicity of PCV-10 and PPV-23 with placebo administered in pregnancy. Methods: This double-blind, multicentre, randomised controlled trial was done at eight outpatient clinics in Brazil. Eligible participants were adult women with HIV who were pregnant at a gestational age between 14 weeks and less than 34 weeks and who were taking antiretroviral therapy at study entry. Participants were randomly assigned (1:1:1) to receive either PCV-10, PPV-23, or placebo. Participants and study teams were unaware of treatment allocation. Antibodies against seven vaccine serotypes in PCV-10 and PPV-23 were measured by ELISA. The primary outcomes were maternal and infant safety assessed by the frequency of adverse events of grade 3 or higher; maternal seroresponse (defined as ≥2-fold increase in antibodies from baseline to 28 days after immunisation) against five or more serotypes; and infant seroprotection (defined as anti-pneumococcus antibody concentration of ≥0·35 μg/mL) against five or more serotypes at 8 weeks of life. The study was powered to detect differences of 20% or higher in the primary immunological outcomes between treatment groups. This trial is registered with ClinicalTrials.gov, NCT02717494. Findings: Between April 1, 2016, and Nov 30, 2017, we enrolled 347 pregnant women with HIV, of whom 116 were randomly assigned to the PCV-10 group, 115 to the PPV-23 group, and 116 to the placebo group. One participant in the PCV-10 group did not receive the vaccine and was excluded from subsequent analyses. The frequency of adverse events of grade 3 or higher during the first 4 weeks was similar in the vaccine and placebo groups (3% [90% CI 1–7] for the PCV-10 group, 2% [0–5] for the PPV-23 group, and 3% [1–8] for the placebo group). However, injection site and systemic grade 2 adverse reactions were reported more frequently during the first 4 weeks in the vaccine groups than in the placebo group (14% [9–20] for the PCV-10 group, 7% [4–12] for the PPV-23 group, and 3% [1–7] for the placebo group). The frequency of grade 3 or higher adverse effects was similar across maternal treatment groups (20% [14–27] for the PCV-10 group, 21% [14–28] for the PPV-23 group, and 20% [14–27] for the placebo group). Seroresponses against five or more serotypes were present in 74 (65%) of 114 women in the PCV-10 group, 72 (65%) of 110 women in the PPV-23 group, and none of the 113 women in the placebo group at 4 weeks post vaccination (p<0·0001 for PPV-23 group vs placebo and PCV-10 group vs placebo). Seroresponse differences of 20% or higher in vaccine compared with placebo recipients persisted up to 24 weeks post partum. At birth, 76 (67%) of 113 infants in the PCV-10 group, 62 (57%) of 109 infants in the PPV-23 group, and 19 (17%) of 115 infants in the placebo group had seroprotection against five or more serotypes (p<0·0001 for PPV-23 vs placebo and PCV-10 vs placebo). At 8 weeks, the outcome was met by 20 (19%) of 108 infants in the PCV-10 group, 24 (23%) of 104 infants in the PPV-23 group, and one (1%) of 109 infants in the placebo group (p<0·0001). Although a difference of 20% or higher compared with placebo was observed only in the infants who received PPV-23 at 8 weeks of life, the difference between the two vaccine groups was not appreciable. Interpretation: PCV-10 and PPV-23 were equally safe and immunogenic in pregnant women with HIV and conferred similar levels of seroprotection to their infants. In areas in which childhood PCV administration decreased the circulation of PCV serotypes, PPV-23 administration to pregnant women with HIV might be more advantageous than PCV by virtue of including a broader range of serotypes

Inflammatory cytokines and biofilm production sustain Staphylococcus aureus outgrowth and persistence: A pivotal interplay in the pathogenesis of Atopic Dermatitis

Individuals with Atopic dermatitis (AD) are highly susceptible to Staphylococcus aureus colonization. However, the mechanisms driving this process as well as the impact of S. aureus in AD pathogenesis are still incompletely understood. In this study, we analysed the role of biofilm in sustaining S. aureus chronic persistence and its impact on AD severity. Further we explored whether key inflammatory cytokines overexpressed in AD might provide a selective advantage to S. aureus. Results show that the strength of biofilm production by S. aureus correlated with the severity of the skin lesion, being significantly higher (P < 0.01) in patients with a more severe form of the disease as compared to those individuals with mild AD. Additionally, interleukin (IL)-β and interferon γ (IFN-γ), but not interleukin (IL)-6, induced a concentration-dependent increase of S. aureus growth. This effect was not observed with coagulase-negative staphylococci isolated from the skin of AD patients. These findings indicate that inflammatory cytokines such as IL1-β and IFN-γ, can selectively promote S. aureus outgrowth, thus subverting the composition of the healthy skin microbiome. Moreover, biofilm production by S. aureus plays a relevant role in further supporting chronic colonization and disease severity, while providing an increased tolerance to antimicrobials

Cytomegalovirus Infection of the Colon Presenting as a Mass-Like Lesion

Cytomegalovirus (CMV) is responsible for the most common opportunistic infections in patients with acquired immunodeficiency syndrome (AIDS). The colon is a common site for these infections in patients positive for human immunodeficiency virus. CMV rarely presents as an intraluminal inflammatory mass in the colon. Here we report the case of a CMV infection presenting as a mass-like lesion in an AIDS patient. The clinical diagnosis of CMV infection is largely based on the characteristic endoscopic appearance. Endoscopic procedures are encouraged early in the course of CMV infection in immunocompromised patients. CMV pseudotumors along with malignancy should be part of the endoscopic evaluation in patients with AIDS

How does study quality affect the results of a diagnostic meta-analysis?

Background: The use of systematic literature review to inform evidence based practice in diagnostics is rapidly expanding. Although the primary diagnostic literature is extensive, studies are often of low methodological quality or poorly reported. There has been no rigorously evaluated, evidence based tool to assess the methodological quality of diagnostic studies. The primary objective of this study was to determine the extent to which variations in the quality of primary studies impact the results of a diagnostic meta-analysis and whether this differs with diagnostic test type. A secondary objective was to contribute to the evaluation of QUADAS, an evidence-based tool for the assessment of quality in diagnostic accuracy studies. Methods: This study was conducted as part of large systematic review of tests used in the diagnosis and further investigation of urinary tract infection (UTI) in children. All studies included in this review were assessed using QUADAS, an evidence-based tool for the assessment of quality in systematic reviews of diagnostic accuracy studies. The impact of individual components of QUADAS on a summary measure of diagnostic accuracy was investigated using regression analysis. The review divided the diagnosis and further investigation of UTI into the following three clinical stages: diagnosis of UTI, localisation of infection, and further investigation of the UTI. Each stage used different types of diagnostic test, which were considered to involve different quality concerns. Results: Many of the studies included in our review were poorly reported. The proportion of QUADAS items fulfilled was similar for studies in different sections of the review. However, as might be expected, the individual items fulfilled differed between the three clinical stages. Regression analysis found that different items showed a strong association with test performance for the different tests evaluated. These differences were observed both within and between the three clinical stages assessed by the review. The results of regression analyses were also affected by whether or not a weighting (by sample size) was applied. Our analysis was severely limited by the completeness of reporting and the differences between the index tests evaluated and the reference standards used to confirm diagnoses in the primary studies. Few tests were evaluated by sufficient studies to allow meaningful use of meta-analytic pooling and investigation of heterogeneity. This meant that further analysis to investigate heterogeneity could only be undertaken using a subset of studies, and that the findings are open to various interpretations. Conclusion: Further work is needed to investigate the influence of methodological quality on the results of diagnostic meta-analyses. Large data sets of well-reported primary studies are needed to address this question. Without significant improvements in the completeness of reporting of primary studies, progress in this area will be limited

Early gene expression changes with rush immunotherapy

<p>Abstract</p> <p>Background</p> <p>To examine whether whole genome expression profiling could reveal changes in mRNA expression of peripheral blood mononuclear cells (PBMC) from allergic patients undergoing rush immunotherapy (RIT) that might be manifest within the first few months of treatment.</p> <p>Methods</p> <p>For this study, PBMC from three allergic patients undergoing RIT were assessed at four timepoints: prior to RIT, at 1 week and 7 week post-RIT, during build-up and at 4 months, after establishment of a maintenance dose. PBMC mRNA gene expression changes over time were determined by oligonucleotide microarrays using the Illumina Human-6 BeadChip Platform, which simultaneously interrogates expression profiles of > 47,000 transcripts. Differentially expressed genes were identified using well-established statistical analysis for microarrays. In addition, we analyzed peripheral blood basophil high-affinity IgE receptor (Fc epsilon RI) expression and T-regulatory cell frequency as detected by expression of CD3⁺CD4⁺CD25bright cells at each timepoint using flow cytometry.</p> <p>Results</p> <p>In comparing the initial 2 timepoints with the final 2 timepoints and analyzing for genes with ≥1.5-fold expression change (p less than or equal to 0.05, BH-FDR), we identified 507 transcripts. At a 2-fold change (p less than or equal to 0.05, BH-FDR), we found 44 transcripts. Of these, 28 were up-regulated and 16 were down-regulated genes. From these datasets, we have identified changes in immunologically relevant genes from both the innate and adaptive response with upregulation of expressed genes for molecules including IL-1β, IL-8, CD40L, BTK and BCL6. At the 4 month timepoint, we noted a downward trend in Fc epsilon RI expression in each of the three patients and increased allergen-specific IgG4 levels. No change was seen in the frequency of peripheral T-regulatory cells expressed over the four timepoints.</p> <p>Conclusions</p> <p>We observed significant changes in gene expression early in peripheral blood samples from allergic patients undergoing RIT. Moreover, serum levels for allergen specific IgG4 also increased over the course of treatment. These studies suggest that RIT induces rapid and dynamic alterations in both innate and adaptive immunity which can be observed in the periphery of allergic patients. These alterations could be directly related to the therapeutic shift in the allergen-specific class of immunoglobulin.</p

Smyd3 Is Required for the Development of Cardiac and Skeletal Muscle in Zebrafish

Modifications of histone tails are involved in the regulation of a wide range of biological processes including cell cycle, cell survival, cell division, and cell differentiation. Among the modifications, histone methylation plays a critical role in cardiac and skeletal muscle differentiation. In our earlier studies, we found that SMYD3 has methyltransferase activity to histone H3 lysine 4, and that its up-regulation is involved in the tumorigenesis of human colon, liver, and breast. To clarify the role of Smyd3 in development, we have studied its expression patterns in zebrafish embryos and the effect of its suppression on development using Smyd3-specific antisense morpholino-oligonucleotides. We here show that transcripts of smyd3 were expressed in zebrafish embryos at all developmental stages examined and that knockdown of smyd3 in embryos resulted in pericardial edema and defects in the trunk structure. In addition, these phenotypes were associated with abnormal expression of three heart-chamber markers including cmlc2, amhc and vmhc, and abnormal expression of myogenic regulatory factors including myod and myog. These data suggest that Smyd3 plays an important role in the development of heart and skeletal muscle